Formal verification

Results: 829



#Item
41Formal Verification of Cryptography (I) -- Introduction to basic concepts in cryptography Yusuke Kawamoto INRIA Saclay & LIX, École Polytechnique, France In University of Tokyo

Formal Verification of Cryptography (I) -- Introduction to basic concepts in cryptography Yusuke Kawamoto INRIA Saclay & LIX, École Polytechnique, France In University of Tokyo

Add to Reading List

Source URL: www.cs.bham.ac.uk

- Date: 2014-05-18 16:48:57
    42Formal Verification of Processes Ulrich Sch¨opp Master of Science School of Computer Science

    Formal Verification of Processes Ulrich Sch¨opp Master of Science School of Computer Science

    Add to Reading List

    Source URL: www2.tcs.ifi.lmu.de

    - Date: 2005-11-20 08:43:20
      43Quantitative verification of weighted Kripke structures Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS & ENS Cachan – France Abstract. Extending formal verification techniques to handle quantitative aspec

      Quantitative verification of weighted Kripke structures Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS & ENS Cachan – France Abstract. Extending formal verification techniques to handle quantitative aspec

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2014-07-25 05:56:10
        44Formal Semantics & Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos

        Formal Semantics & Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos

        Add to Reading List

        Source URL: www.cs.washington.edu

        - Date: 2016-08-17 13:59:37
          45Formal Verification of Stability Properties of Cyber-physical Systems Matthew Chan, Daniel Ricketts, Sorin Lerner, Gregory Malecha University of California, San Diego , ,

          Formal Verification of Stability Properties of Cyber-physical Systems Matthew Chan, Daniel Ricketts, Sorin Lerner, Gregory Malecha University of California, San Diego , ,

          Add to Reading List

          Source URL: ucsd-pl.github.io

          - Date: 2016-10-03 11:54:14
            46Formal Verification of Distributed Aircraft Controllers∗ Sarah M. Loos David Renshaw André Platzer

            Formal Verification of Distributed Aircraft Controllers∗ Sarah M. Loos David Renshaw André Platzer

            Add to Reading List

            Source URL: symbolaris.com

            - Date: 2014-08-04 10:09:28
              47Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos

              Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos

              Add to Reading List

              Source URL: conferences.sigcomm.org

              - Date: 2016-07-31 22:09:05
                48FORMAL VERIFICATION OF DISTRIBUTED ALGORITHMS FOR STENCIL PROBLEMS THOMAS GRÉGOIRE Abstract. This paper is a technical report about a three month internship under the supervision of Professor Adam Chlipala at CSAIL1 , M

                FORMAL VERIFICATION OF DISTRIBUTED ALGORITHMS FOR STENCIL PROBLEMS THOMAS GRÉGOIRE Abstract. This paper is a technical report about a three month internship under the supervision of Professor Adam Chlipala at CSAIL1 , M

                Add to Reading List

                Source URL: tgregoire.info

                - Date: 2014-04-11 10:32:27
                  49Formal verification of distributed algorithms for stencil problems Thomas Grégoire September 4, 2013

                  Formal verification of distributed algorithms for stencil problems Thomas Grégoire September 4, 2013

                  Add to Reading List

                  Source URL: tgregoire.info

                  - Date: 2014-04-11 10:32:27
                    50Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt TYPES meeting,

                    Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt TYPES meeting,

                    Add to Reading List

                    Source URL: pauillac.inria.fr

                    - Date: 2015-10-19 04:32:35